* doc/lispref/debugging.texi (Profiling) [!tex]: Mention --enable-profiling.
authorGlenn Morris <rgm@gnu.org>
Wed, 21 Nov 2012 01:32:09 +0000 (20:32 -0500)
committerGlenn Morris <rgm@gnu.org>
Wed, 21 Nov 2012 01:32:09 +0000 (20:32 -0500)
commit1bf6c37b78bd16cd766ec3674f40ba917c462beb
tree23a3f5866047539829a9a1f77dafcc8ddf6069e5
parent9a5924982208a32d04dd454a1c9b2591f24dae7b
* doc/lispref/debugging.texi (Profiling) [!tex]: Mention --enable-profiling.
doc/lispref/ChangeLog
doc/lispref/debugging.texi